package utils;

import base.Formule;
/**
 * Classe s'ocupant de transporter les quantifieurs devant la formule.
 *
 */
public class TransporteurQuantifieurs {
	
	private TransporteurQuantifieurs() {}
	
	public static Formule mettreQuantifieursDevant(Formule base){
		
		while(base.isQuantifieursFirsts(false)) {
			base = base.transportQuantificateurs();
		}
		
		return base;
	}
}
